<nav data-type='toc'>
  <h3>Table of Contents</h3>
  <ol>
    {% include toc_item.html children=toc.children %}
  </ol>
</nav>
